mathematical proof

1. The elegance of a mathematical proof
   一个数学证明的精确和简明
2. Finally the article puts forward software test frame with practical significance from engineering point of view, and gives a mathematical proof for.
   最后从工程角度提出了有现实意义的软件测试框架，并从数学上证明了该框架的有效性。
3. Suppose we go through a mathematical proof.
   比方说，我们进行数学证明。
4. Comparisons between the interval analysis and the probability perturbation finite element method are made with respect to the mathematical proof and numerical examples, and the advant.
   从数学证明和数值算例两方面，将其与概率摄动有限元法进行了比较，结果显示区间分析方法对不确定参数先验信息具有要求较少、精度较高的优点。
5. A mathematical proof should resemble a simple and clear-cut constellation, not a scattered cluster in the Milky Way.
   数学证明应该如同简单而清晰的星座，而不是银河中散乱的星簇。
6. Abstract: reduction to absurdity is an important mathematical proof, and its analysis, synthesis, has a long history, applications are very wide.
   摘要：反证法是一种重要的数学证明方法，它和分析法、综合法一样，有着悠久的历史，应用也相当广泛。
7. The election results contain a mathematical proof of the tally that cannot be "faked" even with the use of powerful computers.
   从数学的角度上可以证明选票结果是无法“伪造”的，即使使用性能强劲的电脑。
8. In this paper we introduced the concept of inverse thought educational method in mathematical proof, analysed its logical structure in mathematical proof, studied the dialectical relation of thoughtful training and ability development, listed some classical examples about training and developing mathematical inverse thought.
   笔者在文中提出了数学证明的逆向思维教学法概念，剖析了数学证明模式的逻辑结构，分析了数学逆向思维训练与能力培养的辨证关系，列举了若干训练和培养数学逆向思维的典型实例。
9. A method of both active power and reactive power measuring is described. The principle of the measuring method is proved by mathematical proof, the principle and realization method of each part circuit to realize the measuring method based on mathematical expressions are also presented.
   提出了一种实现有功功率和真无功功率双栖测量的方法，对测量方法的原理进行了数学证明，并根据数学公式提出了实现其测量方法的各部分电路原理及其实现方法。
10. Proof construction depends on cultural background and culture influences mathematical developments by mathematical proof.
    论证的结构取决于文化背景，文化是通过数学论证而影响数学发展的。
11. In this paper, dynamic nonsmooth bargaining problem is considered through an axiomatic approach in detail. Necessary condition for its Nash bargaining solution is established by the theory of nonsmooth analysis, and the strict mathematical proof is given.
    本文利用非光滑分析理论，采用公理化方法研究了非光滑情形下的动态协商对策问题，给出其Nash协商解的必要条件，并给予了严格的数学证明。
12. Educational method of inverse thought in mathematical proof
    数学证明中的逆向思维教学法
13. Mathematical proof of the method is given.
    给出了该法的数学证明。
14. A general approach to internal power plane spliting with strict mathematical proof by set theory, is presented in this paper.
    提出了印制电路板（PCB）设计时内电层分割的一般性方法，并就其使用集合论的方法给予了较严格的数学证明。
15. This pa-per presents a strict mathematical proof of the formula, by defining a probability distribution function for the arbitrary distribution of propellant grains.
    本文通过对随机分布的火药颗粒定义一个概率分布函数，严格地从数学上对此式加以了证明。
16. In this paper, a definition of image scramble degree is given to form an objective measure, and then anti-Arnold transformation arithmetic is presented with mathematical proof.
    本文首先给出了一个图像置乱度的定义，然后提出了一种Arnold反变换算法，并进行了数学推导。
17. Mathematical Proof of one Hermitian Code's Weight Distribution
    一个Hermitian码权分布的数学证明
18. Inference in Mathematical Proof
    数学证明中的推理问题
19. This paper gives a strict mathematical proof to the J~ integral which is shown by the moving coordinate system in linear-elastic and viscoelastic bodies.
    本文提出了在线弹性及粘弹性介质中扩展裂纹与路径无关的J~积分，并给出了严密的证明。
20. The method of Constructing Function is often used and difficult to master in Mathematical proof.
    构造函数的方法是数学证明中常用的又是较难掌握的方法。
21. In this paper some physical explanations are also given as well as strict mathematical proof.
    在讨论过程中除给出严格的数学论证外，也作了一些物理解释。
22. A robust configuration for MRAS in the case of signal-synthesis adaptation and its adaptive algorithm are presented in this paper. The mathematical proof and computer simulation indicate that this design method is correct and reasonable.
    本文提供一种信号综合自适应系统的鲁棒结构及其自适应算法，数学证明及计算机仿真结果表明，本设计方法是正确的、可行的。
23. The Association of Mathematical Proof
    数学证明中的联想
24. Deductive inference and non-deductive inference are often used in mathematical proof.
    演绎推理和非演绎推理经常被运用到数学证明中。
25. Phase compensation performance and the corresponding computation of some typical autofocus algorithms are discussed. Concentrating on the superiority of PGA, the theoretic analysis and mathematical proof are presented for the points given by Ref [ 2] in this paper.
    分析了一些典型自聚焦算法的相位补偿性能，并讨论了它们的计算量，着重阐述了PGA算法的优越性，对文献[2]提出的一些观点作了进一步的数学论证和理论分析。
26. Based on the described inequality, a novel adaptive tracking controller was put forward by rigorous mathematical proof.
    结合自适应控制方法，通过严格的数学证明给出了跟踪控制器的解析表达式。
27. Chapter II is mainly established model, derived from the mathematical proof on social security and consumer relations.
    第二章主要是建立模型，从数学推导上证明社会保障与居民消费的关系。
28. Through the "exaggerated doubt", we receive this starting point," I think", which ends the whole doubtful program; the starting point is equivalent to the supporting point of a mathematical proof& axiom.
    通过夸张的怀疑使我们获得了作为终结了整个怀疑程序的我思这个起点，这个起点相当于数学证明的支撑点&公理。
29. In addition, that extreme theoretical assumptions, which used in the indirect proof of theoretical assumptions and mathematical proof method, is the first in this paper.
    极端理论假设的间接证明中使用的理论假设和数学证明方法，是本文中的首创的。
30. The feasibility of the algorithm is proved by a rigorous mathematical proof, and the effectiveness of the algorithm is corroborated by a large number of simulation experiments.
    经过详细的数学证明，证明了算法的可行性，并通过大量的仿真实验验证了算法的有效性。

noun

1. proof of a mathematical theorem